Scheme for ISDN/DECT Wireless Internetworking and Verification
نویسندگان
چکیده
منابع مشابه
An Efficient Location Verification Scheme for Static Wireless Sensor Networks
In wireless sensor networks (WSNs), the accuracy of location information is vital to support many interesting applications. Unfortunately, sensors have difficulty in estimating their location when malicious sensors attack the location estimation process. Even though secure localization schemes have been proposed to protect location estimation process from attacks, they are not enough to elimina...
متن کاملCompound Wired/Wireless Internetworking with OSPF
As wireless ad hoc networks become more deployed, there is a growing interest for compound internetworks, that is, internetworks that contain both fixed and ad hoc networks. Routing is one of the main challenges that arise in such compound internetworks. Although specialized routing protocols exist for wired and for ad-hoc networks, and several such specialized protocols could be used together ...
متن کاملInternetworking Wwans and Wlans in next Generation Wireless Data Networks
In this paper we study the internetworking of WWANs and WLANs for next generation wireless packet data networks motivated by the capacity and coverage tradeoffs of the two networks. We compare different types of network architectures and propose a one-hop WWAN and multihop WLAN architecture to provide users with guaranteed service and smooth hand-offs. We then show through simulations that the ...
متن کاملA Deterministic Multiple Key Space Scheme for Wireless Sensor Networks via Combinatorial Designs
The establishing of a pairwise key between two nodes for encryption in a wireless sensor network is a challenging issue. To do this, we propose a new deterministic key pre-distribution scheme which has modified the multiple key space scheme (MKSS). In the MKSS, the authors define two random parameters to make better resilience than existing schemes. Instead of a random selection of these parame...
متن کاملModel Checking Techniques for Verification of an Encryption Scheme for Wireless Sensor Networks
In this paper, we deal with the formal verification of an encryption scheme for Wireless Sensor Networks (WSNs). Especially, we present our first results on building a framework dedicated to modelling and verification of WSNs aspects. To achieve our goal, we propose to specify WSNs models written in Petri nets using Promela constructs in order to verify correctness properties of them using SPIN...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Journal of Applied Sciences
سال: 2005
ISSN: 1546-9239
DOI: 10.3844/ajassp.2005.746.750